]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4567ac) | patch
windowManager: Actually respect hasWorkspaces
authorJasper St. Pierre <jstpierre@mecheye.net>
Sun, 16 Jun 2013 04:21:21 +0000 (00:21 -0400)
committerJasper St. Pierre <jstpierre@mecheye.net>
Thu, 18 Jul 2013 22:04:15 +0000 (18:04 -0400)
commited178b702f210dc80016dd5928a2f56bb0cfbeee
treed8ff5396319d7ad9763c92958fbc7ab5c7c8c105tree | snapshot
parentb4567acc6b00f6c858b9e3f225d22c1df4e501d7commit | diff
windowManager: Actually respect hasWorkspaces

We've long had the hasWorkspaces property, but it doesn't seem like
it was ever used. Implement it so that we don't have workspaces in
initial-setup mode.

Since it's difficult to make it change at runtime with a decent set
of semantics, and we never expect that to happen, don't bother
implementing it dynamically.

https://bugzilla.gnome.org/show_bug.cgi?id=698593
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.